All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask) Edward J. Schwartz, Thanassis Avgerinos, David Brumley Carnegie Mellon University Pittsburgh, PA

Source URL: users.ece.cmu.edu

Automatically Generating Malicious Disks using Symbolic Execution Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar and Dawson Engler Stanford University Computer Systems Laboratory {junfeng,csar,twohey,cristic,engler}@

Source URL: www.doc.ic.ac.uk

RWset: Attacking Path Explosion in Constraint-Based Test Generation Cristian Cadar, Peter Boonstoppel, Dawson Engler TACAS 2008, Budapest, Hungary ETAPS 2008

Source URL: www.doc.ic.ac.uk

• Software
• Computing
• Application software
• Functional languages
• Cat
• Symbolic execution
• ARG2
• ARG1
• R

All You Ever Wanted to Know About Dynamic Taint Analysis & Forward Symbolic Execution

Source URL: oakland31.cs.virginia.edu

• Carnegie Mellon University
• Concolic testing
• Taint checking
• Mellon
• Symbolic execution
• Software engineering

Partial Orders for Efficient Bounded Model Checking of Concurrent Software? Jade Alglave1 , Daniel Kroening2 , and Michael Tautschnig3 1 3

Source URL: www0.cs.ucl.ac.uk

• Computing
• Computer memory
• Memory barrier
• Static single assignment form
• Symbolic execution
• Computer engineering

Online Testing of Federated and Heterogeneous Distributed Systems Marco Canini, Vojin Jovanovi´c, Daniele Venzano, Dejan Novakovi´c, and Dejan Kosti´c School of Computer and Communication Sciences, EPFL, Switzerland {

Source URL: conferences.sigcomm.org

• Computing
• Internet
• Network architecture
• Border Gateway Protocol
• Computer networking
• Concolic testing
• Router
• Symbolic execution

doi:The idea is to identify security-critical software bugs so they can be fixed first. By Thanassis Avgerinos, Sang Kil Cha, Alexandre Rebert, Edward J. Schwartz, Maverick Woo, and David Brumle

Source URL: users.ece.cmu.edu

• Computer security
• Computing
• Cyberwarfare
• Software bugs
• Computer errors
• Shellcode
• Buffer overflow
• Return-oriented programming
• Heap overflow
• Address space layout randomization
• Symbolic execution
• Exploit

Unleashing Mayhem on Binary Code

Source URL: users.ece.cmu.edu

• Theoretical computer science
• Computing
• Software engineering
• Automated theorem proving
• Concolic testing
• Formal methods
• Symbolic execution
• Parallel computing
• Satisfiability modulo theories
• KeY
• Symbolic
• X86

Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation Patrice Godefroid1 , Shuvendu K. Lahiri1 , and Cindy Rubio-Gonz´alez2 1 2

Source URL: web.cs.ucdavis.edu

• Software engineering
• Computer programming
• Software testing
• Software metrics
• Abstract interpretation
• Symbolic execution
• Assertion
• Constant
• Code coverage

Bouncer: Securing Software by Blocking Bad Input Manuel Costa Miguel Castro Microsoft Research

Source URL: www.sosp2007.org

• Computing
• Software engineering
• Computer programming
• Software bugs
• Arbitrary code execution
• Program slicing
• Instruction set
• Vulnerability
• Buffer overflow
• Symbolic execution
• Operand
• Assembly language